
X + 0 -> 1 + X (10)
X + 1 -> 1 + X (1)
X + 2 -> 2 + X (1)
X + 3 -> 3 + X (1)
X + 4 -> 4 + X (1)
X + 5 -> 5 + X (1)
X + 6 -> 6 + X (1)
X + 7 -> 7 + X (1)
X + 8 -> 8 + X (5)
X + 8 -> 1 + X (1)
X + 9 -> 8 + X (10)

XB + 0 -> 9 + XB (10)
XB + 1 -> 9 + XB (10)
XB + 2 -> 9 + XB (10)
XB + 3 -> 9 + XB (10)
XB + 4 -> 9 + XB (10)
XB + 5 -> 9 + XB (10)
XB + 6 -> 9 + XB (10)
XB + 7 -> 9 + XB (10)
XB + 8 -> 9 + XB (10)
XB + 9 -> 9 + XB (1)

X + XB -> X1 + XB (10)

X1 + 9 -> 9 + X1 (10)
X1 + 8 -> 8 + X (1)
X1 + 7 -> 7 + X (1)
X1 + 6 -> 6 + X (1)
X1 + 5 -> 5 + X (1)
X1 + 4 -> 4 + X (1)
X1 + 3 -> 3 + X (1)
X1 + 2 -> 2 + X (1)
X1 + 1 -> 1 + X (1)
X1 + 0 -> 0 + X (1)
